Самая большая электронная библиотека рунета. Поиск книг и журналов
↓

Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)

 Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор:
Категория: Компьютеры
Размер книги: 4.01 Mb

Reasoning About Knowledge

 Автор: , Автор: , Автор: , Автор:
Размер книги: 9.50 Mb

Finite model theory and its applications

 Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор:
Категория: Mathematics, Algebra, Mathematical logic
Размер книги: 3.22 Mb

Reasoning About Knowledge

 Автор: , Автор: , Автор: , Автор:
Размер книги: 4.76 Mb

Finite Model Theory and Its Applications

 Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор:
Размер книги: 4.02 Mb

Computer Aided Verification, 10 conf., CAV '98

 Автор: , Автор:
Категория: Cs_Computer science, CsLn_Lecture notes
Размер книги: 5.51 Mb

Mathematics - Finite Model Theory and Its Applications

 Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор: , Автор:
Размер книги: 4.03 Mb

Reasoning About Knowledge

 Автор: , Автор: , Автор: , Автор:
Размер книги: 4.76 Mb